1. <A> Roadmap for Formal Property Verification
پدیدآورنده : \ by Pallab Dasgupta
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Integrated circuits -- Verification,مدارهای مجتمع -- راستیآزمایی
رده :
E-Book
,
2. Comprehensive Functional Verification the Complete Industry Cycle
پدیدآورنده : \ Bruce Wile, John C. Goss, Wolfgang Roesner.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Integrated circuits -- Verification.,Computer engineering.,مدارهای مجتمع -- راستیآزمایی ,مهندسی کامپیوتر
رده :
E-Book
,
